string OutFileName(string name,int i,char a) {
	return name+".out."+to_string(i)+a;
}
